Universal in trivial extension.
